Search Results
Proof Engineering, from the Four Colour to the Odd Order Theorem
CSSE Lecture: The Proof of the Four Colour Theorm (Audio Only)
Georges Gonthier: the four colour theorem
The Five Color Theorem (without Kempe chains)
Mechanizing the Odd Order Theorem: Local Analysis - Georges Gonthier
Four Colors Theorem by Ellie
A simple "proof" of the Four Color Theorem (April fool's day video)
ACCU Lightning Talk - The 5 Colour Theorem - Andy Balaam - ACCU 2022
Four Color Theorem JV Math 420
The Four Color Theorem
2 - Kick-off afternoon : Georges Gonthier, Digitizing the Group Theory of the Odd Order Theorem
Four Colors, ANY Map!
